From ce6f43a522bcaea6ec4254dbd1a19863fe9e5599 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Thu, 29 Nov 2012 22:06:18 -0500 Subject: [PATCH] Don't check the same crossing mode twice This was broken since commit b2aaa94 in 2008. Its commit message clearly states that the intention was to check for GTK_GRAB, GTK_UNGRAB and STATE_CHANGED. Lets do that, then. This was found by Coverity. --- gtk/gtkmenushell.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtk/gtkmenushell.c b/gtk/gtkmenushell.c index 5099179285..942c721b9f 100644 --- a/gtk/gtkmenushell.c +++ b/gtk/gtkmenushell.c @@ -1107,7 +1107,7 @@ gtk_menu_shell_leave_notify (GtkWidget *widget, GdkEventCrossing *event) { if (event->mode == GDK_CROSSING_GTK_GRAB || - event->mode == GDK_CROSSING_GTK_GRAB || + event->mode == GDK_CROSSING_GTK_UNGRAB || event->mode == GDK_CROSSING_STATE_CHANGED) return TRUE; -- 2.30.2